整数論やってるんだけど、
principal
ってどういう意味??