東大は『ほぼ証明されている』を使っても〇くれるのか?w