corollary154

corollary154