An embedding theorem for real projective spaces