theorem :: XPRIMES2:2714

canceled;