9.0が認められるなら証明問題は全て意味をなさなくなります
これは正しいということがすでにわかっているから正しい、で間違ってはないですから、丸にしなければならなくなります