R^2が{(rcosφ,rsinφ);r∈R}と{(-rsinφ,rcosφ);r∈R}の和になってることなんてどう示せっての？