PBW Spanning Theorem for Highest Weight Modules