Matematički dokaz Arhimedovog aksioma poluge - Svirčević, Petar (Array, 2006)