P
Initializing...
Circle-loop phases agree exactly when winding agrees · Prove2Me