theorem :: XPRIMES2:2774

canceled;