xlnxy'-y=0