theorem :: XPRIMES2:9478

canceled;