OnConvergenceofFedProx: LocalDissimilarity InvariantBounds, Non-smoothnessandBeyond