Lemma exampleBoundsUnitCubeOrderX : boundsXOrder exampleBoundsUnitCube.
