theorem :: XPRIMES2:7265

canceled;