theorem Th813: :: NUMBER11:813

Sum (digits (1122,10)) = 6