theorem :: XPRIMES2:5715

canceled;