theorem :: XPRIMES2:1447

canceled;