theorem :: XPRIMES2:4287

canceled;