theorem :: XPRIMES2:5892

canceled;