subcorollaries