Repeat: Indeed, if  is composite (with a and b ≠ 1) then one of the factors a or b is necessarily at most .
Indeed, if  is composite (with a and b ≠ 1) then one of the factors a or b is necessarily at most .