theorem
  Fr T = Fr T`;
