theorem Th877: :: NUMBER11:877

Sum (digits (1892,10)) = 20