theorem :: XPRIMES2:2236

canceled;