Tundub aga, et nende probleemide tõestamisega on probleem nii Mamõkinil kui Toomil endal.