Это не столько то, что является полезной теоремой, но и то, насколько она элегантна.