theorem Th1096: :: NUMBER11:1096

Sum (digits (525,10)) = 12