corollarial

not defined yet