theorem :: XPRIMES2:93

canceled;