theorem :: XPRIMES2:5679

canceled;