moved a remark to followhte proof