The equations are also deduced with handwork in order to verify the validity of the procedure with artificial intelligence . crosscheck show even classic document by mack have also fatal error in equation and boundary condition 为了确认lesliem . mack经典文献(参考文献[ 1 ] )给出的公式有错，又与人工推导的公式进行对比，以此证明机器推理的可靠。
2.
Adb s peng said that taxation authorities currently have only one source of access to people s income , either through their own reports or from their employers . but they will have two when the new regulation is implemented ; and so can crosscheck for discrepancies 他说，目前税务部门主要通过纳税人自行申报或企业代扣代缴的方式来征收个人所得税，新办法实施后，税务部门可对高收入纳税人进行双重监管，从而堵塞高收入者个税监管的漏洞。
3.
Adb ' s peng said that taxation authorities currently have only one source of access to people ' s income , either through their own reports or from their employers . but they will have two when the new regulation is implemented ; and so can crosscheck for discrepancies 他说，目前税务部门主要通过纳税人自行申报或企业代扣代缴的方式来征收个人所得税，新办法实施后，税务部门可对高收入纳税人进行双重监管，从而堵塞高收入者个税监管的漏洞。
