udowodnienie na Boundless to ekspozycja na wszystkie łańcuchy.