theorem :: XPRIMES2:4755

canceled;