Cualquier x∈B, entonces x=6z, z∈N
x=6z=3*(2z)=3k (donde k=2z∈N)
∴x∈A
∴B está incluido en A
Pero x=3∈A no pertenece a B, ∴A no está incluido en B
∴B realmente está incluido en A
Cualquier x∈B, entonces x=6z, z∈N
x=6z=3*(2z)=3k (donde k=2z∈N)
∴x∈A
∴B está incluido en A
Pero x=3∈A no pertenece a B, ∴A no está incluido en B
∴B realmente está incluido en A