theorem Th593: :: NUMBER11:593

Sum (digits (2640,10)) = 12