donc puis . Ainsi, et n'est pas congru à modulo .