theorem :: XPRIMES2:2447

canceled;