>>731671
むしろこういうのって知ってたことを証明する方が難しかったりするはずなんだけどな…