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.
Relacijo a|b, kjer sta a in b neka izraza, dokažemo na enak način kot za naravni in celi števili: