theorem :: XPRIMES2:2766

canceled;