p:素数, S=Z-pZ, A=Z[√2] のときS^-1Aは局所環になりますか?