>>154,155
自己解決しました。
ちなみに、A⊆B<m>は無条件では無理ですね