theorem Th461: :: NUMBER11:461
Sum (digits (1320,10)) = 6