У нас начальству даже с самым плохим зрением виднее.Существует такая гипотеза: теоремы вовсе не рвутся стать аксиомами. Потому что с теоремами все носятся, доказывают, а аксиомы - уже полузабытые памятники.