Theorem exampleBoundsUnitCubeWellFormed : boundsWellFormed exampleBoundsUnitCube.
