theorem :: XPRIMES2:6755

canceled;