theorem :: XPRIMES2:7765

canceled;