A theory on the absence of spurious solutions for nonconvex and nonsmooth optimization