xy'+y = (xy)'