theorem :: XPRIMES2:6671

canceled;