Legyen n\gt 1 tetszőleges pozitív egész szám. Tegyük fel, hogy adva van egy valamilyen a egész szám által reprezentált [a]_n redukált maradékosztály, amely Fermat-tanú. Legyen adott továbbá egy valamilyen b\neq 0 egész szám által reprezentált [b]_n redukált maradékosztály, amely nem Fermat-tanú.

Ekkor e két maradékosztály szorzata, vagyis az [a]_n \odot [b]_n maradékosztály egyrészt Fermat-tanú, másrészt szintén redukált maradékosztály.

Itt „szorzás” alatt a modulo n maradékosztálygyűrű \odot szimbólummal jelölt szorzás műveletét értjük (lásd a 20.5. Tételt).