theorem :: XPRIMES2:7120

canceled;