遅延証明とかでなんとかならんかったっけ?