[10 points] Prove or disprove: For all languages A and B, it holds that (AB)* [10 points] Prove or disprove: For every language A, it holds that (AA)* (AU {}) = a