theorem :: XPRIMES2:7690

canceled;