theorem :: XPRIMES2:2708

canceled;