theorem :: XPRIMES2:5772

canceled;