theorem :: XPRIMES2:6711

canceled;