sqrt6は代数的整数か?