А потом пришёл бы век интеллектуальных компиляторов, которые вместе с синтаксисом ЛаТеХа верифицируют, как могут, доказательства и вычисления. И выдаст такой ИК ошибку, поскольку не может быть такого биномиального коэффициента!