theorem :: XPRIMES2:2887

canceled;