theorem :: XPRIMES2:7767

canceled;