refuting substitution

Мат. опровергающая подстановка