Real Projective Space as the Antipodal Quotient