なら、n は必ず偶数になるので
--    （既約ピタゴラス数の場合、a と b はどちらかは偶数でもう一方は奇数、
--     さらに c は奇数になることが判っている）
--    i ) n/2 は整数。
--    ii) 従って、(a * n) / (2 * (n - a)) も整数。
--
pythagoreanN
amicablePairs :: Integral a => [a] -> [(a, a)]
amicablePairs xs = [(x, fromJust y) | x <- xs,
                    let y = findAmicableNumber x, isJust y, Just x < y]
amicablePairs xs = [(x, fromJust y) | x <- xs,
                    let y = findAmicableNumber x, isJust y, Just x < y]