xm \equiv yn