rectification; Abhyankar-Sathaye embedding problem; variable prounipotent groups; relation modules; presentation; free prounipotent group; syzygy; resolution; direct products; complete group algebra; coordinate ring; Magnus embedding; closed lower central series 