theorem :: XPRIMES2:7566

canceled;