Category:Ring of Integers Modulo Prime is Integral Domain