a,b \in K