theorem :: XPRIMES2:5771

canceled;