>>899
E1⊃E と E⊃E1 を示すんだろう