EGMO

Phantom Points: To prove that a point P has a property, define a new point P in a way that is easier to work with, then prove the property for P and prove that P = P .