theorem :: XPRIMES2:1201

canceled;