Richberg Regularisation Theorem