La fórmula que traduce el primer teorema (una parte de él) es , donde «» significa implicación.