Integral Domain & Prime Ideal