theorem Th693: :: NUMBER11:693

Sum (digits (3640,10)) = 13