theorem :: XPRIMES2:5748

canceled;