theorem Th946: :: NUMBER11:946

Sum (digits (299,10)) = 20