theorem :: XPRIMES2:7306

canceled;