theorem :: XPRIMES2:2672

canceled;