Corresponding angle theorem, alternate angle theorem