theorem :: XPRIMES2:7752

canceled;