theorem Th655: :: NUMBER11:655
Sum (digits (3260,10)) = 11