theorem :: XPRIMES2:6068

canceled;