theorem :: XPRIMES2:2566

canceled;