theorem :: XPRIMES2:8866

canceled;