theorem :: XPRIMES2:5877

canceled;