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