[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.