theorem Th1172: :: NUMBER11:1172

Sum (digits (1925,10)) = 17