The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability