>>735
A⊆B より
∀a ∈ A　⇒ a ∈B

B⊂Cより
∀b ∈B ⇒ b ∈C

したがって
∀a ∈A ⇒ a ∈C
となるので、 A ⊆ C

とかやっていかないと