corollary

not defined yet