P
Initializing...
A linear term and triple product are at most two · Prove2Me