theorem :: XPRIMES2:7006

canceled;