Ramanujan's 'genius' finally proven by mathematicians