theorem :: XPRIMES2:7866

canceled;