証明の中に⇒とかあったら問答無用に×になり