revised characterizing operator proof to not rely on homology theory