theorem :: XPRIMES2:4487

canceled;