theorem :: XPRIMES2:7266

canceled;