theorem :: XPRIMES2:1710

canceled;