theorem :: XPRIMES2:4732

canceled;