Let R be an associative ring which has a multiplicative identity element but need not be commutative. Let f(X) = a[subscript n]X[superscript n] + a[subscript n-1]X[superscript n-1] + ... + a[subscript 0] [is a member of] R[X] and [alpha] [is a member of] R. It is known that there exist uniquely determined q(X) = b[subscript n-1]X[superscript n-1] + ... + b[subscript 0] and p(X) = c[subscript n-1]X[superscript n-1] + ... + c[subscript 0] [is a member of] R[X] and r, s [is a member of] R such that f(X) = q(X) (X - [alpha]) + r = (X - [alpha])p(X) + s. Examples show that q(X) and p(X) need not coincide. As in the classical Remainder Theorem over a commutative ring, r = f([alpha]):+ a[subscript n][[alpha][superscript n]] + a[subscript n-1][[alpha][superscript n-1]] + ... + a[subscript 0], but s = [[alpha][superscript n]]a[subscript n] + [[alpha][superscript n-1]]a[subscript n-1] + ... + a[subscript 0]. As consequences, a pair of generalizations of the classical Factor Theorem is obtained, as well as a new characterization of commutative rings. This note could find classroom/homework use in a course on abstract algebra as enrichment material for the unit on rings and polynomials.