theorem :: XPRIMES2:2731

canceled;