I\subseteq I_m