theorem :: XPRIMES2:2306

canceled;