theorem Th1202: :: NUMBER11:1202

Sum (digits (2425,10)) = 13