theorem :: XPRIMES2:5306

canceled;