weyls criterion