theorem :: XPRIMES2:6734

canceled;