theorem Th998: :: NUMBER11:998

Sum (digits (1081,10)) = 10