mostrar texto associado

Se x e y forem números inteiros não negativos e x ≤ y, então Ey ⊂ Ex.