theorem :: XPRIMES2:7410

canceled;