中国の剰余定理
Schoof's approach to computing the cardinality formula_16 makes use of Hasse's theorem on elliptic curves along with the Chinese remainder theorem and division polynomials.