A⊂BをA⊃Bであることを前提とした、ダセーな
https://imgur.com/bBfXEQx.jpg