then OP = a root 2 .