Students discover and publish unexpected proof for 2k year old math theory