CRM.GSR.5.1: Use the distance formula, midpoint formula or slope to verify simple geometric properties.