theorem :: XPRIMES2:6680

canceled;