theorem :: XPRIMES2:6386

canceled;