corollariam