theorem :: XPRIMES2:5085

canceled;