theorem :: XPRIMES2:7961

canceled;