theorem Th753: :: NUMBER11:753

Sum (digits (286,10)) = 16