Здравствуйте, Bell, Вы писали:

B>Да, а в чем сомнение?

Вот только фраза

Even though substitution of the nonzero integer

вселяет ложную надежду на то, что вызов f с нулем не приведет к ошибке подстановки