"an exeis dyo stoixeia tou xwrou A(n) kai B(n) kai dyo arithmous k kai p pou anhkoun sto R
tote prepei na deikseis oti k*A(n)+p*B(n) anhkei epishs ston l2"
alla kanonika prepei na deikseis mia mia tis protaseis sthn prwth selida shmeiwsewn tou argi.
OMWS gnwrizontas oti o l2 periexetai ston L-apeiro kai oti o L-apeiro einai dianysmatikos xwros, h parapanw protash sou eksasfalizei oti o l2 einai ypoxwros tou l-apeiro (kai oxi apla yposynolo tou) ara ws ypoxwros dianysmatikou xwrou einai kai autos dianysmatikos