let and consider the system of equations from elementary linear algebra we know that this system has either no

solution (which implies that ) or a unique solution (which implies that ) or infinitely many solutions (which implies that for some ). in either case

is clrearly an integral domain and thus will always be a prime ideal.