theorem Th1270: :: NUMBER11:1270

Sum (digits (3550,10)) = 13