P
Initializing...
$F$ is generated by $A$ and $B$ · Prove2Me