≤_P is transitive: the composition of two polynomial time computable functions is also polynomial ti...