theorem Th495: :: NUMBER11:495

Sum (digits (1660,10)) = 13