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

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