P
Initializing...
`Φ` is additive on differences. · Prove2Me