the carrier of (center R) c= the carrier of R by Th16;
hence center R is finite ; :: thesis: verum