theorem :: XPRIMES2:6365

canceled;