Description: Inference similar to Theorem 19.23 of Margaris p. 90. (Contributed by Alan Sare, 21-Apr-2013) (Proof modification is discouraged.) (New usage is discouraged.)