How exactly `gradcheck` works? Any mathematical proof?

How exactly gradcheck works? I checked the source codes of gradcheck.py and found some computation about jacobian matrix. Can anyone provide any mathematical proof to explain it?

it checks the numerical gradient against analytical gradient

Help a lot!THX:grinning: