corollary

1