theorem :: XPRIMES2:1732

canceled;