theorem :: XPRIMES2:8270

canceled;