State/Existence of wells for definite forms

 =Proof=