theorem Th1090: :: NUMBER11:1090

Sum (digits (350,10)) = 8