I räkneexemplet antas följande .