P_0\in ({\bf R}\backslash{\bf Q})\times{\bf Q}