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