a\in P\land b\in I\Rightarrow ab\in I