theorem :: XPRIMES2:29

canceled;