FreeProduct + FreeSum  (lect3. part1)