theorem :: XPRIMES2:6120

canceled;