theorem :: XPRIMES2:7680

canceled;