theorem :: XPRIMES2:6051

canceled;