Rational points of order twenty-five

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