theorem Th667: :: NUMBER11:667

Sum (digits (3380,10)) = 14