«Cirno proves that every Boolean ring is commutative» en inglés con traducción paralela