«Cirno proves that every Boolean ring is commutative» em inglês com tradução paralela