theorem :: XPRIMES2:7126

canceled;