theorem :: XPRIMES2:21

canceled;