theorem :: XPRIMES2:7256

canceled;