Boundless ma zdolność do udowodnienia wszystkich łańcuchów, wielokrotnie. Dowód A, @Base ↓