x^2-y^2-3=0の整数解