Dico quoque ut H, minus G, ad EK, ita esse H, minus FV, ad E. Quoniam enim ostensum est ut EK, ad K, ita esse H, ad V, erit per conuersionem rationis ut EK, ad E, ita H, ad H, minus V, sed demonstratum est ut EK, ad E, ita esse G, ad F, ergo ut H, ad H, minus V, ita erit G, ad F, et permutando ut H, ad G, ita H, minus V, ad F, et diuidendo ut H, minus G, ad G, ita erit H, minus FV, ad F, et permutando ut H, minus G, ad H, minus FV, ita G, ad F, sed ut EK, ad E, ita est G, ad F, ut est demonstratum, ergo ut H, minus G, ad H, minus FV, ita erit EK, ad E, quare permutando, erit ut H, minus G, ad EK, ita H, minus FV, ad E, quod erat secundo loco demonstrandum.