P
Initializing...
`exp f` has constant term `1` when `f(0) = 0`. · Prove2Me