証明できないのが辛すぎる