[see also: precisely

Actually, [3, Theorem 2] does not apply exactly as stated, but its proof does.

The function F vanishes to order exactly n at zero.