theorem Th1342: :: NUMBER11:1342

Sum (digits (4550,10)) = 14