theorem :: XPRIMES2:6747

canceled;