theorem Th350: :: NUMBER11:350

Sum (digits (798,10)) = 24