# What is the name of factoring identity in modular arithmetic?

$$(mq) \mod (pq) = q \left[ m \mod p \right]$$

Is there a name for the above identity? One would think it is the modular multiplicative identity but searching that gives: $$a b \mod p = (a \mod p) (b \mod p) \mod p$$