invariant og kvotient

Jeg har fået følgende opgave for den lyder således
Implement the following function:

      public static int kvotientOgRest(int x, int y)   
      // kun + og - må bruges ved udregningen
      // pre:  y != 0  og  x > 0               
      // post: udskriver kvotient og rest af x/y
        int q;  // kvotient
        int r;  // rest

        q = ?; r = ?;

        // inv: x = q*y + r
        while ( r >= y ) {
          // gør r mindre, men bevar invarianten
        }

        System.out.println(\"Kvotient af \" + x + \"/\" + y \": \" + q);
        System.out.println(\"Rest af    \" + x + \"/\" + y \": \" + r);
      }

hvordan skal invarianten forståes og hvad er kvotient og rest ?