A general fixed point theorem for four non-surjective expansion mappings satisfying an implicit relation which generalize Theorem 4.1 of |7| is proved,
Popa, Valeriu