P
Initializing...
A four-point class and an extra pair outside it give seven local pairs · Prove2Me