theorem :: XPRIMES2:7708

canceled;