Theorem T000249

¬