A corollary

of these