Search the corpus

    An algebraic extension of an algebraic extension is algebraic

    PR-ABSJX