とあるところで見つけたコード

lang:c
printf( " %d %s divisor of %d.\n",  b, ( ( a / b ) != ( ( a - 1 ) / b ) ? " is" : "is not", a );

結果として

lang:c
printf( " %d %s divisor of %d.\n", b, ( ( a % b ) == 0 ) ? "is" : "is not", a );

と同じになると理解できても，(数学的に)証明できない．