; AB =

; Now, we saw in 1, that AE =

of the integer, and we have just shown that it is equal to

. Hence

=