P
Initializing...
Every element of $F$ has a reduced tree diagram · Prove2Me