theorem :: XPRIMES2:2355

canceled;