theorem :: XPRIMES2:7758

canceled;