theorem :: XPRIMES2:6127

canceled;