A four-point class and extra pair outside it give the fifty-five total-count bound at nine points

Initializing...

A four-point class and extra pair outside it give the fifty-five total-count bound at nine points · Prove2Me