«Cirno proves that every Boolean ring is commutative» po angielsku z tłumaczeniem równoległym