theorem :: XPRIMES2:2112

canceled;