theorem Th869: :: NUMBER11:869

Sum (digits (1804,10)) = 13