let R be strict commutative Ring; :: thesis: center R = R
R is strict Subring of R by LIOUVIL2:18;
hence center R = R by Th15, FIELD_6:14; :: thesis: verum