Abairt 1: Tá straitéis d' Eloise'' aonfhoirmeach `` má tá foirmle 114, foirmle 130 i gceist, má tá foirmle Abelard 116 i gceist le foirmle 130. Abairt 2: Tá straitéis d' Eloise ` ` aonfhoirmeach'más rud é, aon uair a bhíonn foirmle _ 114, foirmle _ 130; d' Abelard, más rud é go gcuireann foirmle _ 116 foirmle _ 130 in iúl. Ceist: An léiríonn abairt 1 agus abairt 2 an bhrí chéanna? An bhfuil nó nach bhfuil?
Níl