theorem :: XPRIMES2:1387

canceled;