设4x-y为3的倍数,求证:ax^+7xy-2y^2能被9整除