theorem :: XPRIMES2:6908

canceled;