A new fixed-time stability theorem and its application to the fixed-time synchronization of neural networks. (March 2020)