theorem :: XPRIMES2:108

canceled;