theorem :: XPRIMES2:5610

canceled;