P
Initializing...
The four side conditions of the assembly hold eventually · Prove2Me