theorem Th1138: :: NUMBER11:1138

Sum (digits (1325,10)) = 11