theorem :: XPRIMES2:70

canceled;