We give a constructive proof of Leech's theorem for rational matrix functions. This enables us to provide an algorithm for solving rational matrix corona problems.