משפט ההדדיות הריבועית – הבדלי גרסאות

<math>\ ka = qp + t</math> כאשר לכל k קיימים q ו-t כלשהם המתאימים לו. <math>\ ka/p = q + t/p</math> ומאחר ש-q שלם ו-t קטן מ-p אזי נקבל: [q = [ka/p כלומר: <math>\ ka = p[ka/p]+t</math>.