theorem Th1268: :: NUMBER11:1268

Sum (digits (3525,10)) = 15