theorem :: XPRIMES2:5887

canceled;