Lemma exampleBoundsUnitCubeOrderY : boundsYOrder exampleBoundsUnitCube.
