a,b\in\textbf{I}