equality of measure [n ISOMETRIES]
71,243 of 196,601 in NWL2023·also valid in CSW24
124,960 of 280,887 in CSW24·also valid in NWL2023