theorem Th1144: :: NUMBER11:1144

Sum (digits (1425,10)) = 12