theorem Th507: :: NUMBER11:507

Sum (digits (1780,10)) = 16