Setning 1: Formúla 5 er ein af samfelldum ofurgeometrískum hlutverkum Horn með tveimur breytum og samhæfð fyrir öll takmörkuð gildi Formúla 6 og Formúla 7. Það er gefið af: Setning 2: þar sem formúla _ 5 er ein af samfelldum ofurgeometrískum hlutverkum Horn með tveimur breytum og samræmandi fyrir öll takmörkuð gildi formúla _ 6 og formúla _ 7. Það er gefið af: Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Já, það er.