theorem :: XPRIMES2:8873

canceled;