corollary7.6