>>143
使える公理と証明が済んでいる定理の一覧でも明らかにしてから質問をどうぞ。