theorem :: XPRIMES2:6231

canceled;