Lone wolves in infinite, discrete matching markets

In finite two-sided matching markets, the Lone Wolf Theorem guarantees that the same set of agents remains unmatched in all stable outcomes. I show by example that this assertion is not true in infinite, discrete markets. However, despite the fact that the Lone Wolf Theorem is often used to derive strategy-proofness, the deferred acceptance mechanism remains (group) strategy-proof in many infinite markets.