theorem Th665: :: NUMBER11:665
Sum (digits (3360,10)) = 12