Theorem T000248

¬