theorem :: XPRIMES1:5961

canceled;