Дано b доказать ab a b (11/48)

Дано b доказать ab a b