マホターンに呪文使わない証明って難しいんだよね
「使わない」と言っても対象にはしないとか範囲内にいたら使わないとか全く使わないと複数の状態があるし

使う証明はかかってるやつに使う所を一回確認すれば終わりだが