theorem :: XPRIMES2:6762

canceled;