prove by exhaustion

Доказывать перебором