theorem :: XPRIMES2:6307

canceled;