求modulo the assumption that C can be proven prime in turn.的准