theorem Th1150: :: NUMBER11:1150

Sum (digits (1525,10)) = 13