Fixed point theorem for compatibile mapping of type (P)