Derivation of moment of inertia of circle proof