theorem :: XPRIMES2:4746

canceled;