theorem Th1258: :: NUMBER11:1258

Sum (digits (3350,10)) = 11