>>388
対頂角が等しいだけじゃ無理じゃないか？
対頂角の位置以外の場所に角度を移そうとしたらどうしても同位角公理か、
同位角公理によって導かれる錯角定理とか同側内角定理が必要になってくるはずだし。