theorem :: XPRIMES2:2912

canceled;