Unilateral substitutability implies substitutable completability in many-to-one matching with contracts