A New Fixed Point Theorem for Non-expansive Mappings and Its Application - Chunyan Yang (2012)