theorem :: XPRIMES2:6372

canceled;