Corollary

Proof