theorem :: XPRIMES2:6731

canceled;