theorem :: XPRIMES2:566

canceled;