theorem Th1264: :: NUMBER11:1264

Sum (digits (3450,10)) = 12