A common fixed point theorem for expansive mappings in 2-metric spaces and its application