Wählt man für A := n|2 (n teilt 2) und für B := n|6, dann erhält man die für alle natürlichen Zahlen n gültige Beziehung
Wenn n|2, so n|6.
Dies ist insbesondere richtig für n = 2, 3, 4. Also
für n = 2 entsteht 2|2 → 2|6 ( W – W),
für n = 3 entsteht 3|2 → 3|6 ( F – W),
für n = 4 entsteht 4|2 → 4|6 ( F – F).