theorem :: XPRIMES2:5708

canceled;