Clause Normally

Qed Ges