«Cirno proves that every Boolean ring is commutative» en anglais avec traduction parallèle