let R be Ring; :: thesis: 0. R in center R
for s being Element of R holds (0. R) * s = s * (0. R) ;
hence 0. R in center R by Th17; :: thesis: verum