theorem Th346: :: NUMBER11:346

Sum (digits (760,10)) = 13