Understand the commutative property of multiplication

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