theorem :: XPRIMES2:6696

canceled;