theorem :: XPRIMES2:6780

canceled;