theorem :: XPRIMES2:2721

canceled;