Bezout's identity

If \(n \mid ab\) and \(n \nmid a,\) then \(n \mid b.\)

YouTube videos