theorem :: XPRIMES2:6840

canceled;