theorem :: XPRIMES2:6455

canceled;