theorem :: XPRIMES2:6048

canceled;