theorem :: XPRIMES2:2206

canceled;