нетривиальное высказывание - такое, обратное утверждение к которому не есть очевидная бессмыслица