阳生在十月，亥谓之天门。战乎乾者物，乾实战于坤。