Bezout's identity

If \(n \mid ab\) and \(n \nmid a,\) then \(n \mid b.\)
Corollary of bezout's lemma, (number theory, discrete math)
blackpenredpen

YouTube videos