[math-fun] Complex projective plane