theorem :: XPRIMES2:6772

canceled;