theorem :: XPRIMES2:7452

canceled;