Corollary

20-04-02

corollary