theorem :: XPRIMES2:48

canceled;