被4整除的数的推导