Lemma exampleBoundsUnitCubeOrderZ : boundsZOrder exampleBoundsUnitCube.
