theorem :: XPRIMES2:1306

canceled;