«Cirno proves that every Boolean ring is commutative» auf Englisch mit Parallelübersetzung