«Cirno proves that every Boolean ring is commutative» İngilizce ve paralel çevirisiyle