theorem Th974: :: NUMBER11:974

Sum (digits (736,10)) = 16