theorem :: XPRIMES2:2923

canceled;