theorem :: XPRIMES2:28

canceled;