theorem :: XPRIMES2:7270

canceled;