Extension Theorem (rough paths)