theorem :: XPRIMES2:7386

canceled;