>>768
A=Bを証明しろに対してA=Bは自明であるって言うのは何の証明にもなってないって分かる・・・?