Theorem breq2 4371

Description: Equality theorem for a binary relation. (Contributed by NM, 31-Dec-1993.)

Assertion

Ref	Expression
breq2	|- ( A = B -> ( C R A <-> C R B ) )

Proof of Theorem breq2

Step	Hyp	Ref	Expression
1		opeq2 4132	. . 3 |- ( A = B -> <. C , A >. = <. C , B >. )
2	1	eleq1d 2451	. 2 |- ( A = B -> ( <. C , A >. e. R <-> <. C , B >. e. R ) )
3		df-br 4368	. 2 |- ( C R A <-> <. C , A >. e. R )
4		df-br 4368	. 2 |- ( C R B <-> <. C , B >. e. R )
5	2, 3, 4	3bitr4g 288	1 |- ( A = B -> ( C R A <-> C R B ) )

Syntax hints:   -> wi 4   <-> wb 184   = wceq 1399   e. wcel 1826   <.cop 3950   class class class wbr 4367

This theorem was proved from axioms:  ax-mp 5  ax-1 6  ax-2 7  ax-3 8  ax-gen 1626  ax-4 1639  ax-5 1712  ax-6 1755  ax-7 1798  ax-10 1845  ax-11 1850  ax-12 1862  ax-13 2006  ax-ext 2360

This theorem depends on definitions:  df-bi 185  df-or 368  df-an 369  df-3an 973  df-tru 1402  df-ex 1621  df-nf 1625  df-sb 1748  df-clab 2368  df-cleq 2374  df-clel 2377  df-nfc 2532  df-rab 2741  df-v 3036  df-dif 3392  df-un 3394  df-in 3396  df-ss 3403  df-nul 3712  df-if 3858  df-sn 3945  df-pr 3947  df-op 3951  df-br 4368

This theorem is referenced by:  breq12  4372  breq2i  4375  breq2d  4379  nbrne1  4384  pocl  4721  swopolem  4723  swopo  4724  solin  4737  sotric  4740  sotrieq  4741  isso2i  4746  somo  4748  seex  4756  frirr  4770  fr2nr  4771  frminex  4773  wereu2  4790  vtoclr  4958  posn  4982  frsn  4984  brcog  5082  brcogw  5084  opelcnvg  5095  dfdmf  5109  breldmg  5121  dfrnf  5154  dmcoss  5175  resieq  5196  dfres2  5238  elimag  5253  elrelimasn  5273  elimasn  5274  asymref2  5297  intirr  5298  poirr2  5304  sotri3  5310  poltletr  5312  soltmin  5316  dffun3  5507  dffun6f  5510  fun11  5561  brprcneu  5767  fv3  5787  tz6.12c  5793  tz6.12i  5794  funbrfv  5812  fnbrfvb  5814  funfv2f  5843  dffv2  5847  fvopab5  5881  fndmdif  5893  dff3  5946  fmptco  5966  foeqcnvco  6104  isorel  6123  soisores  6124  soisoi  6125  isocnv  6127  isotr  6133  isopolem  6142  isosolem  6144  f1oiso  6148  f1oiso2  6149  caovordig  6379  caovordg  6381  caovord  6385  caofrss  6472  caoftrn  6474  fr3nr  6514  dfwe2  6516  f1oweALT  6683  frxp  6809  poxp  6811  suppimacnv  6828  tposoprab  6909  ertr  7244  ecopovsym  7331  ecopovtrn  7332  domeng  7449  eqeng  7468  snfi  7515  sbth  7556  domunsn  7586  domssex  7597  nneneq  7619  php2  7621  onfin  7627  1sdom  7639  unxpdom  7643  isinf  7649  fineqvlem  7650  pssnn  7654  ssnnfi  7655  dif1en  7668  findcard  7674  findcard2  7675  findcard3  7678  frfi  7680  fisupg  7683  nnsdomg  7694  unfi  7702  fiint  7712  mapfien2  7783  supmo  7826  eqsup  7830  supub  7833  suplub  7834  suplub2  7835  supmax  7838  supmaxlemOLD  7839  fisup2g  7841  fisupcl  7842  suppr  7844  supisolem  7846  supisoex  7847  ordtypecbv  7857  ordtypelem3  7860  ordtypelem6  7863  ordtypelem7  7864  ordtypelem9  7866  wemaplem1  7886  wemaplem2  7887  harval  7903  wemapwe  8052  wemapweOLD  8053  r111  8106  cardf2  8237  isnum2  8239  cardval3  8246  cardnueq0  8258  carden2a  8260  cardlim  8266  isinffi  8286  onsdom  8290  harval2  8291  cardmin2  8292  ondomen  8331  alephnbtwn  8365  alephinit  8389  aceq3lem  8414  infmap2  8511  cfslb2n  8561  sornom  8570  isfin4  8590  fin23lem26  8618  fin23lem27  8621  fin1a2lem11  8703  fin1a2lem12  8704  hsmex  8725  domtriomlem  8735  dominf  8738  zorn2lem2  8790  zorn2lem7  8795  zorn2g  8796  axdclem  8812  axdc  8814  fodomg  8816  brdom7disj  8822  brdom6disj  8823  cardmin  8852  ficard  8853  alephval2  8860  dominfac  8861  cfpwsdom  8872  gchi  8913  fpwwe2lem12  8930  fpwwe2lem13  8931  canthp1lem1  8941  canthp1lem2  8942  pwfseqlem4a  8950  pwfseqlem4  8951  elina  8976  winainflem  8982  eltskg  9039  rankcf  9066  indpi  9196  nqereu  9218  nsmallnq  9266  ltbtwnnq  9267  ltrnq  9268  prcdnq  9282  genpcd  9295  genpnmax  9296  ltaddpr2  9324  ltexprlem4  9328  prlem936  9336  reclem2pr  9337  reclem3pr  9338  supexpr  9343  ltsosr  9382  ltasr  9388  recexsrlem  9391  mulgt0sr  9393  map2psrpr  9398  supsrlem  9399  axpre-lttri  9453  axpre-lttrn  9454  axpre-ltadd  9455  axpre-mulgt0  9456  axpre-sup  9457  ltletr  9587  letr  9589  ltne  9592  eqle  9598  dedekind  9655  dedekindle  9656  ltordlem  9995  elimgt0  10295  elimge0  10296  squeeze0  10364  fimaxre2  10407  lbreu  10409  lble  10411  sup2  10415  infm3  10418  suprlub  10421  supmul1  10424  supmullem1  10425  supmullem2  10426  supmul  10427  infmrcl  10438  infmrgelb  10439  nn2ge  10477  nnge1  10478  nnsub  10491  nominpos  10692  nnunb  10708  elnnnn0b  10757  nn0sub  10763  nn0ge2m1nn  10778  peano2uz2  10867  peano5uzi  10868  dfuzi  10870  uzind  10871  uzind3  10873  eluz1  11005  uzind4  11059  uzwo  11064  nnwof  11067  indstr2  11079  ublbneg  11085  zsupss  11090  uzsupss  11093  uzwo3  11096  zmin  11097  zmax  11098  zbtwnre  11099  rebtwnz  11100  rpnnen1lem1  11127  rpnnen1lem2  11128  rpnnen1lem3  11129  rpnnen1lem4  11130  rpnnen1lem5  11131  reexALT  11133  elrp  11141  mnfltxr  11257  nn0pnfge0  11262  xrltnsym  11264  xrlttri  11266  xrlttr  11267  xrltletr  11281  xrletr  11282  ngtmnft  11289  xrltmin  11304  xrlemin  11306  ifle  11317  z2ge  11318  qbtwnre  11319  qbtwnxr  11320  qextlt  11323  qextle  11324  xltnegi  11336  xmullem2  11378  xmulasslem2  11395  xmulasslem  11398  xlemul1a  11401  xrsupexmnf  11417  xrsupsslem  11419  xrinfmsslem  11420  xrub  11424  supxrpnf  11431  supxrunb1  11432  supxrunb2  11433  ixxval  11458  elixx1  11459  elioo2  11491  iccid  11495  icc0  11498  iccsupr  11538  repos  11542  supicc  11589  supiccub  11590  supicclub  11591  fzval  11595  elfz1  11598  fzm1  11680  flval  11830  flval2  11849  flval3  11850  dfceil2  11868  uzsup  11890  modid2  11924  fsequb  11988  ssnn0fi  11997  rabssnn0fi  11998  suppssfz  12003  serge0  12064  expge0  12105  expge1  12106  facdiv  12267  facwordi  12269  hashkf  12309  hashnnn0genn0  12318  hashv01gt1  12320  hashneq0  12337  hashdom  12350  hashnn0n0nn  12362  hashss  12378  hashgt12el  12385  hashgt12el2  12386  hashge2el2dif  12425  brfi1uzind  12436  wrdlen1  12487  fstwrdne0  12489  2swrdeqwrdeq  12589  2swrd1eqwrdeq  12590  ccats1swrdeq  12605  ccats1swrdeqrex  12615  swrdccatin12lem3  12626  2swrd2eqwrdeq  12802  rtrclreclem3  12895  relexpindlem  12898  relexpind  12899  shftfib  12907  shftfn  12908  2shfti  12915  sqrlem3  13080  resqrex  13086  cau3lem  13189  caubnd2  13192  caubnd  13193  sqreu  13195  limsuple  13303  limsupval2  13305  rlim2  13321  climi  13335  rlimi  13338  ello12r  13342  ello1mpt  13346  ello1d  13348  lo1bdd2  13349  lo1bddrp  13350  elo12r  13353  o1lo1  13362  rlimclim1  13370  rlimdm  13376  climeu  13380  climmo  13382  2clim  13397  o1co  13411  o1compt  13412  addcn2  13418  mulcn2  13420  reccn2  13421  cn1lem  13422  rlimo1  13441  lo1add  13451  lo1mul  13452  climsup  13494  caucvgrlem  13497  caucvgb  13504  summo  13541  zsum  13542  fsum  13544  o1fsum  13629  climcnds  13665  supcvg  13669  ntrivcvgn0  13709  ntrivcvgmullem  13712  prodmo  13745  zprod  13746  fprod  13750  fprodntriv  13751  rpnnen2lem4  13953  rpnnen  13962  ruclem2  13967  ruclem12  13976  sqrt2irr  13984  dvdsabsb  14005  0dvds  14006  dvdsle  14033  alzdvds  14038  dvdsext  14039  fzo0dvdseq  14041  divalglem10  14062  bitsinv1lem  14093  sadadd3  14113  bitsuz  14126  gcdval  14148  gcdcllem1  14151  gcdcllem2  14152  gcddvds  14155  bezoutlem4  14181  dvdsgcd  14183  dvdssq  14200  isprm  14221  isprm2lem  14226  dvdsprm  14242  coprmdvds2  14246  isprm6  14252  exprmfct  14253  maxprmfct  14256  prmexpb  14260  prmfac1  14261  rpexp  14263  iserodd  14361  pceu  14372  pczpre  14373  pcdiv  14378  pcdvdsb  14394  pcmpt  14413  pcmptdvds  14415  prmpwdvds  14424  unbenlem  14428  infpnlem2  14431  infpn2  14433  prmreclem1  14436  prmreclem2  14437  prmreclem3  14438  prmreclem5  14440  prmreclem6  14441  vdwlem9  14509  vdwlem10  14510  vdwlem13  14513  ramz  14545  imasleval  14948  mreexexlem3d  15053  mreexexlem4d  15054  mreexexd  15055  prslem  15677  drsdirfi  15684  posi  15696  posasymb  15699  pleval2  15712  plttr  15717  pltletr  15718  pospo  15720  lubprop  15733  lublecllem  15735  glbprop  15746  glble  15747  joinlem  15758  joinle  15761  meetval2lem  15769  meetlem  15772  isglbd  15864  lubl  15867  lubun  15870  pospropd  15881  poslubmo  15893  posglbmo  15894  poslubd  15895  tsrlin  15966  tsrlemax  15967  letsr  15974  eqgen  16371  odeq  16691  odmulg  16695  pgpssslw  16751  sylow2alem2  16755  sylow2blem3  16759  efgval2  16859  efgsfo  16874  efgred  16883  efgredeu  16887  efgcpbllemb  16890  gexex  16976  cyggex2  17016  gsummptnn0fz  17127  gsummptnn0fzfv  17129  pgpfaclem1  17245  pgpfaclem2  17246  pgpfaclem3  17247  ablfaclem2  17250  ablfaclem3  17251  lidldvgen  18016  0ringnnzr  18030  psrass1lem  18142  psrmulval  18152  mplmonmul  18239  opsrtoslem2  18262  coe1mul2  18423  coe1tmmul2fv  18432  coe1pwmulfv  18434  gsummoncoe1  18459  zndvds  18679  znleval  18684  islinds  18929  pmatcoe1fsupp  19287  mp2pm2mplem4  19395  fvmptnn04ifa  19436  fvmptnn04ifd  19439  chfacffsupp  19442  chfacfscmul0  19444  chfacfpmmul0  19448  cpmadumatpoly  19469  cayleyhamilton  19476  cayleyhamiltonALT  19477  ordtbaslem  19775  ordtbas2  19778  ordtopn1  19781  mnfnei  19808  ordtt1  19966  ordthauslem  19970  ordthmeolem  20387  trust  20817  ucncn  20873  imasdsf1olem  20961  comet  21101  stdbdxmet  21103  stdbdmet  21104  stdbdmopn  21106  metcnpi  21132  metcnpi2  21133  metcnpi3  21134  ngptgp  21235  nlmvscnlem1  21280  nrginvrcnlem  21284  nmogelb  21308  nmolb  21309  nghmcn  21337  xrsxmet  21399  icccmplem2  21413  icccmplem3  21414  reconnlem2  21417  xrge0tsms  21424  xmetdcn2  21427  metdsf  21437  metdsge  21438  metdscn  21445  metnrmlem1a  21447  addcnlem  21453  cncfi  21483  elcncf1di  21484  iccpnfhmeo  21530  xrhmeo  21531  cnllycmp  21541  evth  21544  ipcnlem1  21770  lmmcvg  21785  cfili  21792  cncmet  21846  minveclem1  21924  minveclem3b  21928  minveclem6  21934  pmltpclem1  21945  pmltpc  21947  ivthlem2  21949  ivthlem3  21950  cniccbdd  21958  ovolmge0  21973  ovolgelb  21976  ovolctb  21986  ovolunlem1  21993  ovoliunlem1  21998  ovoliun  22001  ovoliun2  22002  ovolshftlem1  22005  ovolscalem1  22009  ovolicc2lem3  22015  ovolicc2lem5  22017  ovolicc2  22018  voliunlem3  22047  ioombl1lem1  22053  ioombl1lem4  22056  uniioombllem2  22077  uniioombllem6  22082  volcn  22100  ismbfd  22132  mbfsup  22156  mbfinf  22157  mbflimsup  22158  itg1ge0  22178  itg1climres  22206  mbfi1fseqlem5  22211  itg2val  22220  itg2const  22232  itg2const2  22233  itg2seq  22234  itg2monolem1  22242  itg2i1fseq  22247  itg2i1fseq2  22248  itg2addlem  22250  itg2cnlem1  22253  itg2cnlem2  22254  itg2cn  22255  isibl  22257  ditgeq2  22338  dveflem  22465  dvferm1lem  22470  rolle  22476  c1lip1  22483  lhop1  22500  dvfsumlem2  22513  dvfsumlem4  22515  dvfsumrlim  22517  dvfsum2  22520  mdegmullem  22563  deg1leb  22580  deg1lt  22583  dvdsq1p  22646  plyeq0lem  22692  dgrco  22757  plydivex  22778  quotcan  22790  aannenlem1  22809  aannenlem2  22810  ulmi  22866  ulmcaulem  22874  ulmcau  22875  ulmbdd  22878  ulmdvlem3  22882  mtestbdd  22885  iblulm  22887  psercnlem1  22905  psercn  22906  abelthlem8  22919  sinhalfpilem  22941  logltb  23072  cxple2  23165  cxpcn3lem  23208  isosctrlem1  23268  leibpilem2  23388  cxploglim  23424  scvxcvx  23432  emcllem6  23447  ftalem3  23465  vmaval  23504  isppw2  23506  muval  23523  fsumdvdscom  23578  dvdsflf1o  23580  dvdsflsumcom  23581  musum  23584  muinv  23586  ppiublem1  23594  chtub  23604  logfac2  23609  bpos1lem  23674  bposlem9  23684  lgsdir  23722  lgsne0  23725  lgsqr  23738  lgsquadlem1  23746  lgsquadlem2  23747  lgsquadlem3  23748  2sqlem6  23761  2sqlem8  23764  2sqlem10  23766  dchrisumlema  23790  dchrisumlem2  23792  dchrisumlem3  23793  dchrvmasumiflem1  23803  dchrisum0fval  23807  dchrisum0ff  23809  dchrisum0flblem2  23811  logsqvma2  23845  pntrsumbnd2  23869  pntrlog2bndlem1  23879  pntpbnd1  23888  pntpbnd2  23889  pntibndlem2  23893  pntibndlem3  23894  pntibnd  23895  pntlemi  23906  pntlem3  23911  pntlemp  23912  pntleml  23913  pnt3  23914  tgldimor  24013  lnopp2hpgb  24252  axcontlem10  24397  uhgra0v  24431  usgra0v  24492  usgra1v  24511  cusgraexg  24590  sizeusglecusg  24607  usgramaxsize  24608  3v3e3cycl1  24765  4cycl4v4e  24787  4cycl4dv  24788  wwlknred  24844  wwlkextwrd  24849  wwlkextfun  24850  wwlkextinj  24851  wwlkextproplem2  24863  wwlkextproplem3  24864  clwlkisclwwlklem1  24908  clwwlkf1  24917  clwwlkext2edg  24923  wwlkext2clwwlk  24924  wwlksubclwwlk  24925  clwlkfclwwlk  24965  clwlkfoclwwlk  24966  rusgranumwlks  25077  isfrgra  25111  vdgfrgragt2  25148  frgrawopreglem2  25166  clwwlkextfrlem1  25197  numclwwlkovf2ex  25207  friendshipgt3  25242  gxval  25377  vacn  25721  nmcvcn  25722  smcnlem  25724  nmobndi  25807  blocni  25837  ubthlem1  25903  ubthlem2  25904  ubthlem3  25905  minvecolem1  25907  minvecolem5  25914  minvecolem6  25915  htthlem  25951  norm3lemt  26186  hcaucvg  26220  hlimconvi  26225  hlim2  26226  chlimi  26269  hlimreui  26274  occl  26339  cmbr3  26643  cmcm  26649  cmcm3  26650  lecm  26652  cnopc  26948  cnfnc  26965  0cnop  27014  0cnfn  27015  idcnop  27016  nmopun  27049  nmcexi  27061  lnconi  27068  branmfn  27140  opsqrlem1  27175  pjnmopi  27183  pjnormssi  27203  stge1i  27273  strlem5  27290  hstrlem5  27298  mddmd2  27344  csmdsymi  27369  cvmd  27371  ela  27374  cvbr4i  27402  chirredlem3  27427  chirredlem4  27428  chirred  27430  atmd  27434  mdsym  27447  mddmdin0i  27466  cdj1i  27468  cdj3i  27476  fmptcof2  27643  isoun  27667  xrge0infss  27730  ishashinf  27759  tleile  27802  toslublem  27808  tosglblem  27810  omndadd  27849  sgnsval  27871  xrnarchi  27881  archirng  27885  archiexdiv  27887  archiabllem1a  27888  archiabllem2a  27891  archiabl  27895  xrge0tsmsd  27929  orngmul  27947  isarchiofld  27961  crefi  28004  pcmplfin  28017  ordtconlem1  28060  rge0scvg  28085  qqhcn  28125  qqhucn  28126  esumcst  28211  esumpinfval  28221  esumpcvgval  28226  esumcvg  28234  esum2d  28241  oddpwdc  28476  eulerpartlems  28482  eulerpartlemf  28492  eulerpartlemt  28493  eulerpartlemr  28496  eulerpartlemgvv  28498  eulerpartlemn  28503  dstfrvunirn  28596  ballotlemfcc  28615  sgnmulsgp  28672  signslema  28702  lgamgulmlem4  28763  lgamgulmlem5  28764  lgambdd  28768  subfacp1lem1  28812  dfpo2  29350  fundmpss  29362  funbreq  29366  dfpred3g  29420  predbrg  29431  poseq  29498  wzel  29545  wsuclem  29546  wsuclb  29549  nodenselem4  29609  nodenselem5  29610  nodense  29614  nocvxminlem  29615  nobndup  29625  nofulllem5  29631  brtxp  29683  brtxp2  29684  brpprod3a  29689  elfix  29706  sscoid  29716  elfuns  29718  fnsingle  29722  brimageg  29730  fnimage  29732  brdomaing  29738  brrangeg  29739  funpartlem  29745  fvtransport  29835  fin2so  30205  supaddc  30206  supadd  30207  heicant  30214  mblfinlem1  30216  mblfinlem2  30217  mblfinlem3  30218  mblfinlem4  30219  ismblfin  30220  itg2addnclem  30232  itg2addnc  30235  itg2gt0cn  30236  ftc1anclem7  30262  ftc1anclem8  30263  ftc1anc  30264  trer  30300  elicc3  30301  finminlem  30302  nn0prpwlem  30306  nn0prpw  30307  fnessref  30341  refssfne  30342  fnemeet2  30351  filnetlem3  30364  frinfm  30392  fdc1  30405  nninfnub  30410  equivbnd  30452  heibor1lem  30471  heiborlem8  30480  iccbnd  30502  lzenom  30868  fphpdo  30916  rencldnfilem  30919  irrapxlem5  30927  irrapxlem6  30928  pellexlem3  30932  pellqrex  30980  pellfundre  30982  pellfundge  30983  pellfundlb  30985  pellfundglb  30986  monotoddzz  31044  oddcomabszz  31045  zindbi  31047  jm2.22  31103  jm2.23  31104  rpnnen3  31140  ttac  31144  fnwe2lem2  31163  aomclem8  31173  hbtlem1  31240  hbtlem5  31245  lcmcllem  31370  dvdslcm  31372  lcmledvds  31373  lcmgcdlem  31380  lcmdvds  31382  nzss  31390  ubelsupr  31562  climinf  31778  mullimc  31788  limcdm0  31790  mullimcf  31795  constlimc  31796  idlimc  31798  limsupre  31813  limcleqr  31816  addlimc  31820  0ellimcdiv  31821  limclner  31823  dvdivbd  31886  dvbdfbdioo  31893  ioodvbdlimc1lem1  31894  ioodvbdlimc1lem2  31895  ioodvbdlimc2lem  31897  dvnxpaek  31905  stoweidlem14  31962  stoweidlem29  31977  stoweidlem31  31979  stoweidlem34  31982  stoweidlem49  31997  wallispilem3  32015  stirlinglem13  32034  stirlinglem14  32035  fourierdlem16  32071  fourierdlem20  32075  fourierdlem21  32076  fourierdlem22  32077  fourierdlem25  32080  fourierdlem39  32094  fourierdlem41  32096  fourierdlem42  32097  fourierdlem51  32106  fourierdlem54  32109  fourierdlem64  32119  fourierdlem77  32132  fourierdlem83  32138  fourierdlem87  32142  fourierdlem103  32158  fourierdlem104  32159  fourierdlem112  32167  fouriersw  32180  etransclem48  32231  rlimdmafv  32428  iseven2  32494  isodd3  32495  proththdlem  32547  pfxsuffeqwrdeq  32581  pfxsuff1eqwrdeq  32582  ccats1pfxeq  32596  ccats1pfxeqrex  32597  assintopval  32847  ply1mulgsumlem2  33187  ldepsnlinc  33309  dig1  33429  bnj1185  34199  bnj602  34320  bnj1228  34414  bj-seex  34838  oposlem  35320  lub0N  35327  glb0N  35331  omllaw  35381  cvrval  35407  cvrnbtwn  35409  cvrnbtwn2  35413  cvrnbtwn3  35414  cvrcon3b  35415  cvrnbtwn4  35417  cvrcmp  35421  isat  35424  atnlt  35451  atlex  35454  cvlexch1  35466  cvlexchb1  35468  cvlatexch1  35474  glbconN  35514  2llnne2N  35545  cvratlem  35558  cvrat4  35580  ps-1  35614  3at  35627  islln  35643  llncmp  35659  llnnlt  35660  islpln  35667  islpln5  35672  lvolex3N  35675  lplncmp  35699  lplnexllnN  35701  lplnnlt  35702  islvol  35710  lvoli3  35714  islvol5  35716  lvolcmp  35754  lvolnltN  35755  dalem-cly  35808  dalem44  35853  pmapval  35894  pmapglbx  35906  lncvrelatN  35918  lncmp  35920  cdlemblem  35930  llnexchb2  36006  lautle  36221  lautcvr  36229  ldilset  36246  ltrnset  36255  trlset  36299  cdlemc4  36332  cdleme11dN  36400  cdleme20k  36458  cdleme21ct  36468  cdleme22b  36480  tendoex  37114  diafval  37171  diaval  37172  dicfval  37315  dihfval  37371  dihglblem2N  37434