F x f x0 (9/48)

F x f x0