theorem :: XPRIMES2:7704

canceled;