P
Initializing...
Two functional relations force the zero function · Prove2Me