Schoof's Algorithm.