это утверждение, которое нужно доказать исходя из аксиом и ранее доказанных теорем.