y^2 = 3x^3 + 1 の整数解は (0,±1)　(1,±2)　(2,±5)　に限りまつか？