theorem :: XPRIMES2:6856

canceled;