img30_5

Relacijo a|b, kjer sta a in b neka izraza, dokažemo na enak način kot za naravni in celi števili:

  • izraz b zapišemo kot produkt (izraz b razstavimo)
  • en izmed faktorjev mora biti izraz a.