theorem :: XPRIMES2:7734

canceled;