Understand equal groups as multiplication

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