Gould (The Fibonacci Quarterly 2 (1964) 241-260) proved the general inversion theorem: for any ordered sequence pair [f(n, k), g(n, k)] [GRAPHICS] where R(n, k) is the number of compositions of n greater than or equal to 1 into k relatively prime parts and [GRAPHICS] is its inverse. In this paper, we obtain a variety of such ordered inversion pairs. Further, we give necessary and sufficient conditions for the congruence f(n, k) = g(n, k) (mod k) to hold, in particular criteria for k greater than or equal to 2 to be a prime when the congruence holds for all n greater than or equal to 1. (C) 1999 Elsevier Science B.V. All rights reserved.