theorem :: XPRIMES2:1307

canceled;