Isesisev ülesanne (aritmeetika põhiteoreemi tõestamine)