theorem :: XPRIMES2:7718

canceled;