The video explicitly assumes X ÷ Y x Y = X always, regardless of what values X and Y happen to be.
Using that assumption, the video approaches the division of a non-zero by zero, through defining X = Non-Zero, Y = 0 and Non-Zero ÷ 0 = K. In this instance, it is concluded that K could not be...