theorem :: XPRIMES2:5947

canceled;