theorem :: XPRIMES2:6886

canceled;