Hypergraph_Colourings.Basic_Bounds_Application