theorem :: XPRIMES2:2778

canceled;