P_\mu P^\mu =m^2 c^2