theorem :: XPRIMES2:401

canceled;