#include <stdio.h>
int main(void)
{
    int m, n, j, k;   /* j表示最小公倍数，k表示最大公约数 */

    do{
        printf("Input m: ");
        scanf("%d", &m);
        printf("Input n: ");
        scanf("%d", &n);
    }while(m<0||n<0);
    j = m;
    while(j%n!=0)    /* 调试时设置断点 */
       j = j + m;
    k = (m * n) / j;     /* 调试时设置断点 */
    printf("最小公倍数是%d \n最大公约数是%d\n ", j, k);
    return 0;
}
求大神解释下红色字体的部分，根据我的理解这程序应该是求不出正确结果的，可事实就是可以，why？？

谁填写的注释  乱讲

1、两数之积等于他们的最大公约数与最小公倍数的积
2、如果两个自然数中，较大数是较小数倍数，那么较大数就是他们的公倍数
3、本人数学差，这段不知道是哪种公式，原理解释不出来，但试过几个数也是可行的：
  while(j%n!=0)
      j = j + m;

应该是我们老师吧，这是他出的题目，让我们纠错。不过现在已经懂了，谢谢