information about Cut-elimination theorem field