theorem Th663: :: NUMBER11:663

Sum (digits (3340,10)) = 10