Let be independent linear forms in . Let .
Prove that is a prime ideal.
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.
out by you'll again get a polynomial ring over but with the number of variables less than