P
Initializing...
Two squares bound a normalized triple product · Prove2Me