theorem :: XPRIMES2:6807

canceled;