Lo que prueba que a-b es un múltiplo de m.