theorem Th683: :: NUMBER11:683

Sum (digits (3540,10)) = 12