theorem :: XPRIMES2:6866

canceled;