Две окружности касаются друг друга изнутри в точке M. Хорда AB большей окружности касается меньшей окружности в точке T.

Произведение двух множителей равно нулю, когда хотя бы один из них равен нулю, а другой при этом не теряет смысла