theorem :: XPRIMES2:7661

canceled;