theorem :: XPRIMES2:1461

canceled;