Description: Theorem *11.56 in WhiteheadRussell p. 165. Special case of aaan . (Contributed by Andrew Salmon, 24-May-2011)