theorem Th803: :: NUMBER11:803

Sum (digits (990,10)) = 18