theorem :: XPRIMES2:2927

canceled;