theorem :: XPRIMES2:4122

canceled;