theorem :: XPRIMES2:8989

canceled;