訂正
もしp=6n+1が素数なら,p=3a^2+b^2を満たすa,bが存在することを示せ。