Hvis og er i og er ulik null, da er det en og en i slik at = + og enten = 0 eller < ().