theorem :: XPRIMES2:2265

canceled;