theorem :: XPRIMES2:7715

canceled;