take Polynom-Ring (Z/ n) ; :: thesis: ( Polynom-Ring (Z/ n) is n -characteristic & Polynom-Ring (Z/ n) is infinite )
thus ( Polynom-Ring (Z/ n) is n -characteristic & Polynom-Ring (Z/ n) is infinite ) ; :: thesis: verum