Se ha añadido el ejercicio Demostraciones de "s ∪ (s ∩ t) = s", propuesto originalmente el 26 de mayo de 2021.