theorem :: XPRIMES2:7926

canceled;