theorem :: XPRIMES2:2715

canceled;