Математические теоремы: Утверждения и их справедливость