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).