theorem :: XPRIMES2:2671

canceled;