theorem Th950: :: NUMBER11:950

Sum (digits (345,10)) = 12