how do i name the property that justifies this statment
ST=QR, then QR= ST
ST=QR, then QR= ST