AはBの真部分集合⇔Aのベキ集合はBのベキ集合の真部分集合
の証明がよく分からんとです