Relate repeated addition to multiplication

First proof page using the extracted package from object storage with a real H5P runtime.