theorem :: XPRIMES2:8472

canceled;