theorem :: XPRIMES2:2732

canceled;