Rational points of order thirty-five

This module reserves the permanent library destination for the order-35 challenge. A solution belongs here; the published challenge module can then become a thin, immutable bridge to that theorem.