theorem :: XPRIMES2:6404

canceled;