theorem :: XPRIMES2:7246

canceled;