theorem :: XPRIMES2:5766

canceled;