Jerome White schrieb: > What's the difference between "proved - complete" (line 4) and "proved > - incomplete" (line 11)? Thanks "proved - incomplete" means that you are using some lemma (in the incomplete proof) that is not yet proved. -- Christian Henkel