[7] Let P = R[X,Y] be the ring of polynomials in two non-commuting indeterminates X and Y with real coefficients R, and let I be the ideal of P generated by the polynomials X^2 + 1, Y^2 + 1, XY, and YX. Prove that I = <X^2 + 1, Y^2 + 1, XY, YX> is an ideal of P, and describe P/I in a way similar to DQR Examples 4, 5, and 6.