An algebraic characterization of properly congruent-like quadrilaterals