πと¬p で場合分け

と書いてあったら数理論理学勉強した事ある人間は全員反応する
「証明の中では実際にはしようされてない」
なんて言い訳は通用しない