theorem :: XPRIMES2:5256

canceled;