Nu uppställa vi följande påstående: