証明完了してるのに詰められてる不思議