"n" が合同数であるための必要十分条件は楕円曲線