theorem :: XPRIMES2:1236

canceled;