J . Hill , Bevis af de första satserna iTheorien