\forall x, y\quad\hbox{takve da}\quad(\forall m\in\bold{R}\quad m<x\land m<y)\qquad x=y