theorem :: XPRIMES2:6306

canceled;