theorem :: XPRIMES2:1055

canceled;