theorem :: XPRIMES2:6496

canceled;