theorem :: XPRIMES2:6540

canceled;