theorem :: XPRIMES2:5732

canceled;