theorem :: XPRIMES2:4725

canceled;