theorem :: XPRIMES2:1053

canceled;