Theorem T000250

¬