theorem :: XPRIMES2:1725

canceled;