theorem :: XPRIMES2:2718

canceled;