theorem :: XPRIMES2:6816

canceled;