theorem Th1300: :: NUMBER11:1300

Sum (digits (4025,10)) = 11