Aratati ca abcabc supra cbacba si aabbcc supra bcabca sunt reductibile