Su primer método, el método canónico, involucra el teorema de Wilson, mientras que su segundo método implicaba una versión del "teorema chino del resto".