La otra inclusión se demuestra de la misma manera.