Easy Ad Hoc
Math about Cantor pairing function