Example 5.
Lassus’s transformation of B1