restructured proof of theorem 24