theorem :: XPRIMES2:2748

canceled;