prove the part of the theorem which lets be any solution of ​, and defines . show that is a solution of . this shows that every solution of has the form ​, with a particular solution of and a solution of