propoziția matematică ce necesită demonstrație​