theorem :: XPRIMES2:5961

canceled;