theorem :: XPRIMES2:2673

canceled;