合数判定（塔内尔定理）

合同数是指所有边长均为有理数的直角三角形的面积，
本题将对其进行判定。请假设待判定的数不含有平方因子（即无法表示为 n=q*k² 的形式）。
本题利用坦内尔定理（Tunnell's theorem）进行判定。