theorem :: XPRIMES2:2988

canceled;