The above proposition is occasionally useful.