theorem :: XPRIMES2:5704

canceled;