A dynamic version of the super-replication theorem under proportional transaction costs. Issue 1 (2nd January 2023)