theorem Th1292: :: NUMBER11:1292

Sum (digits (3925,10)) = 19