theorem :: XPRIMES2:6801

canceled;