theorem :: XPRIMES2:6850

canceled;