corollary7.5