( 1. R = 1. (center R) & 0. R = 0. (center R) ) by Def4;
hence not center R is degenerated ; :: thesis: verum