theorem :: XPRIMES2:7608

canceled;