theorem :: XPRIMES2:6264

canceled;