Чтобы стать аксиомой надо сначала долго и хорошо поработать теоремой.