theorem :: XPRIMES2:7387

canceled;