theorem Th515: :: NUMBER11:515

Sum (digits (1860,10)) = 15